Nuprl Definition : w-tagged
0,22
postcript
pdf
w-tagged(
tg
;
mss
) == filter(
ms
.mtag(
ms
) =
tg
;
mss
)
latex
Definitions
mtag(
m
)
,
a
=
b
,
filter(
P
;
l
)
FDL editor aliases
w-tagged
origin